|
Geometry of quantum systems (e.g., noncommutative geometry and supergeometry) is mainly phrased in algebraic terms of modules and algebras. Connections on modules are generalization of a linear connection on a smooth vector bundle written as a Koszul connection on the -module of sections of .〔Koszul (1950)〕 == Commutative algebra == Let be a commutative ring and a -module. There are different equivalent definitions of a connection on .〔Koszul (1950), Mangiarotti (2000)〕 Let be the module of derivations of a ring . A connection on an -module is defined as an -module morphism : such that the first order differential operators on obey the Leibniz rule : Connections on a module over a commutative ring always exist. The curvature of the connection is defined as the zero-order differential operator : on the module for all . If is a vector bundle, there is one-to-one correspondence between linear connections on and the connections on the -module of sections of . Strictly speaking, corresponds to the covariant differential of a connection on . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Connection (algebraic framework)」の詳細全文を読む スポンサード リンク
|